21. Current trends in theoretical computer science: essays and tutorials
المؤلف: edited by G. Rozenberg, A. Salomua
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Machine theory,، formal languages
رده :
QA
267
.
C87
22. Current trends in theoretical computer science : the challenge of the new century
المؤلف: editors, G. Paun, G. Rozenberg, A. Salomaa
المکتبة: (طهران)
موضوع: ، Computer science
رده :
QA
76
.
C832
23. Current trends in theoretical computer science :the challenge of the new century century
المؤلف: editors, G. P aun, G. Rozenberg, A. Salomaa
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Computer science
رده :
QA
76
.
C878
2004
24. Foundations of object-oriented languages :
المؤلف: J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Langages à objets (Informatique) -- Congrès.,Langages de programmation -- Congrès.,Object-oriented programming languages -- Congresses.
رده :
QA76
.
64
J834
1991
25. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
المؤلف: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
26. Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings
المؤلف: H. Ehrig, H.-J. Kreowski, G. Rozenberg )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Graph grammars
رده :
QA
76
.
L28
Vol
.
532
27. Handbook of formal languages
المؤلف: G. Rozenberg, A. Salomaa, )eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Formal languages
رده :
QA
267
.
3
.
H36
1997
28. Handbook of formal languages
المؤلف: G. Rozenberg, A. Salomaa, ]eds.[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Formal languages
رده :
QA
276
.
3
.
H36
1997
29. Handbook of formal languages
المؤلف: G. Rozenberg, A. Salomaa, )eds.(
المکتبة: (طهران)
موضوع: Formal languages
رده :
QA
267
.
3
.
H36
1997
30. High-level Petri nets : theory and application
المؤلف: K. Jensen, G. Rozenberg )eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Petri nets
رده :
QA
267
.
H48
1991
31. Introduction to evolutionary computing/
المؤلف: Series Editors: G. Rozenberg, Th. Bäck, A.E. Eiben, J.N. Kok, H.P. Spaink.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Smith, J. E.,Evolutionary computation.,Evolutionary programming (Computer science)
32. Light and heat radiation in stratus clouds
المؤلف: by E.M. Feigelson, G.V. Rozenberg; Z. Lerman
المکتبة: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (طهران)
موضوع: Cloud physics,Radiation
رده :
QC
921
.
5
.
F413
33. Light and heat radiation in stratus clouds ( Radiatsionnye protsessy v sloistoobraznykh oblakakh )
المؤلف: / G. V. Rozenberg, editor. Translated from Russian [by Z. Lerman],Feigel'son
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Clouds,Heat -- Radiation and absorption
رده :
QC
921
.
F4
34. Linear time, branching time, and partial order in logics and models for concurrency :
المؤلف: J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
L523
1989
35. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
المؤلف: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
المکتبة: (طهران)
موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354
36. Petri Nets : advances in Petri Nets 1986 : proceedings of an advanced course, Bad Honnef, 8-19 September 1986
المؤلف: edited by W. Brauer, W. Reisig, and G. Rozenberg
المکتبة: (طهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
254-255
37. Real-Time:
المؤلف: edited by J.W. Bakker, C. Huizing, W.P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
38. Results and trends in theoretical computer science : Colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings
المؤلف: J. Karhumaki, H. Maurer, G. Rozenberg )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
812
39. Semantics:
المؤلف: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
40. Semantics:foundations and applications
المؤلف: J.W.De Baker W.P.de Roever G.Rozenberg
المکتبة: (کرمان)
موضوع: Programming languages-semantics
رده :
QA
76
.
9
.
S4
1993
